First Detection of CO in a Low Surface Brightness Galaxy

We report on the first attempts at searching for CO in red low surface brightness galaxies, and the first detection of molecular gas in a low surface brightness (mu_B(0)_{obs} > 23 mag arcsec^{-2}) galaxy. Using the IRAM 30m telescope, CO(1-0) and CO(2-1) lines were searched for in four galaxies -- P06-1, P05-5, C05-3, & C04-2. In three of the galaxies no CO was detected, to T_{MB} ~ 1.8mK (at the 3 sigma level). In the fourth galaxy, P06-1, both lines were detected. Comparing our findings with previous studies shows P06-1 to have a molecular-to-atomic mass ratio considerably lower than is predicted using theoretical models based on high surface brightness galaxy studies. This indicates the N(H_2)/(int{T(CO)dv}) conversion factor for low surface brightness galaxies may currently be consistently underestimated by a factor of 3 - 20.Comment: 8 pages, 2 figures, accepted by the ApJ

XWeB: the XML Warehouse Benchmark

With the emergence of XML as a standard for representing business data, new decision support applications are being developed. These XML data warehouses aim at supporting On-Line Analytical Processing (OLAP) operations that manipulate irregular XML data. To ensure feasibility of these new tools, important performance issues must be addressed. Performance is customarily assessed with the help of benchmarks. However, decision support benchmarks do not currently support XML features. In this paper, we introduce the XML Warehouse Benchmark (XWeB), which aims at filling this gap. XWeB derives from the relational decision support benchmark TPC-H. It is mainly composed of a test data warehouse that is based on a unified reference model for XML warehouses and that features XML-specific structures, and its associate XQuery decision support workload. XWeB's usage is illustrated by experiments on several XML database management systems

Abelian symmetries in multi-Higgs-doublet models

N-Higgs doublet models (NHDM) are a popular framework to construct electroweak symmetry breaking mechanisms beyond the Standard model. Usually, one builds an NHDM scalar sector which is invariant under a certain symmetry group. Although several such groups have been used, no general analysis of symmetries possible in the NHDM scalar sector exists. Here, we make the first step towards this goal by classifying the elementary building blocks, namely the abelian symmetry groups, with a special emphasis on finite groups. We describe a strategy that identifies all abelian groups which are realizable as symmetry groups of the NHDM Higgs potential. We consider both the groups of Higgs-family transformations only and the groups which also contain generalized CP transformations. We illustrate this strategy with the examples of 3HDM and 4HDM and prove several statements for arbitrary N.Comment: 33 pages, 2 figures; v2: conjecture 3 is proved and becomes theorem 3, more explanations of the main strategy are added, matches the published versio

From Model Checking to Runtime Verification and Back

We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wider environment (including the file system and network). The modifications to the model checker are small and self-contained, making this a viable strategy for re-using existing model checking tools in a new context. Additionally, from the data that is gathered during a single execution in the runtime verification mode, we automatically re-construct a description of the execution environment which can then be used in the standard, full-blown model checker. This additional verification step can further improve coverage, especially in the case of parallel programs, without introducing substantial overhead into the process of runtime verification

Decolorization improves the fuel properties of algal biodiesel from Isochrysis sp.

© The Author(s), 2016. This is the author's version of the work and is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Fuel 179 (2016): 229-234, doi:10.1016/j.fuel.2016.03.061.Results from the comprehensive fuel testing according to American Society for Testing and Materials International (ASTM) standards of an alkenone-free and decolorized biodiesel produced from the industrially grown marine microalgae Isochrysis sp. are presented. Fatty acid methyl ester (FAME) profiles of the non-decolorized and subsequently decolorized biodiesel fuels were nearly identical, yet the fuel properties were remarkably different. Significant positive impacts on the cetane number, kinematic viscosity, and lubricity were observed, indicating a potential deleterious effect of pigments like chlorophylls and pheophytins on these fuel properties. The decolorization process using montmorillonite K10 gave on average 90% mass recovery, and allowed for an otherwise unobtainable cloud point determination. Oxidative stability of the decolorized Isochrysis biodiesel remained well below the minimum prescribed in biodiesel standards due to elevated content of highly polyunsaturated fatty acids, however other values were in the range of those prescribed in the ASTM standards. Overall, decolorization improved the fuel properties of biodiesel from Isochrysis and may provide a path toward improved biodiesel fuels from other algal species.This work was supported by the National Science Foundation (CHE-1151492) and through a private donation from friends of WHOI.2017-03-2

An estimate for the Morse index of a Stokes wave

Stokes waves are steady periodic water waves on the free surface of an infinitely deep irrotational two dimensional flow under gravity without surface tension. They can be described in terms of solutions of the Euler-Lagrange equation of a certain functional. This allows one to define the Morse index of a Stokes wave. It is well known that if the Morse indices of the elements of a set of non-singular Stokes waves are bounded, then none of them is close to a singular one. The paper presents a quantitative variant of this result.Comment: This version contains an additional reference and some minor change

Further Discoveries of 12CO in Low Surface Brightness Galaxies

Using the IRAM 30m telescope we have obtained seven new, deep CO J(1-0) and J(2-1) observations of low surface brightness (LSB) galaxies. Five of the galaxies have no CO detected to extremely low limits (0.1-0.4 K km/s at J(1-0)), while two of the galaxies, UGC 01922 and UGC 12289, have clear detections in both line transitions. When these observations are combined with all previous CO observations taken of LSB systems, we compile a total of 34 observations, in which only 3 galaxies have had detections of their molecular gas. Comparing the LSB galaxies with and without CO detections to a sample of high surface brightness (HSB) galaxies with CO observations indicates that it is primarily the low density of baryonic matter within LSB galaxies which is causing their low CO fluxes. Finally, we note that one of the massive LSB galaxies studied in this project, UGC 06968 (a Malin-1 `cousin'), has upper limits placed on both M_H2 and M_H2/M_HI which are 10-20 times lower than the lowest values found for any galaxy (LSB or HSB) with similar global properties. This may be due to an extremely low temperature and metallicity within UGC 06968, or simply due to the CO distribution within the galaxy being too diffuse to be detected by the IRAM beam.Comment: 18 pages, 8 figures, 4 tables. Accepted by Ap

Optical microrheology using rotating laser-trapped particles

We demonstrate an optical system that can apply and accurately measure the torque exerted by the trapping beam on a rotating birefringent probe particle. This allows the viscosity and surface effects within liquid media to be measured quantitatively on a micron-size scale using a trapped rotating spherical probe particle. We use the system to measure the viscosity inside a prototype cellular structure.Comment: 5 pages, 4 figures. v2: bibliographic details, minor text correction

Asymptotic stability, concentration, and oscillation in harmonic map heat-flow, Landau-Lifshitz, and Schroedinger maps on R^2

We consider the Landau-Lifshitz equations of ferromagnetism (including the harmonic map heat-flow and Schroedinger flow as special cases) for degree m equivariant maps from R^2 to S^2. If m \geq 3, we prove that near-minimal energy solutions converge to a harmonic map as t goes to infinity (asymptotic stability), extending previous work down to degree m = 3. Due to slow spatial decay of the harmonic map components, a new approach is needed for m=3, involving (among other tools) a "normal form" for the parameter dynamics, and the 2D radial double-endpoint Strichartz estimate for Schroedinger operators with sufficiently repulsive potentials (which may be of some independent interest). When m=2 this asymptotic stability may fail: in the case of heat-flow with a further symmetry restriction, we show that more exotic asymptotics are possible, including infinite-time concentration (blow-up), and even "eternal oscillation".Comment: 34 page

Implementation of Multidimensional Databases with Document-Oriented NoSQL

International audienceNoSQL (Not Only SQL) systems are becoming popular due to known advantages such as horizontal scalability and elasticity. In this paper, we study the implementation of data warehouses with document-oriented NoSQL systems. We propose mapping rules that transform the multidimensional data model to logical document-oriented models. We consider three different logical models and we use them to instantiate data warehouses. We focus on data loading, model-to-model conversion and OLAP cuboid computation